%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Davide Sangiorgi",
%%%     date            = "October 1997",
%%%     filename        = "DSbib.bib",
%%%     url             =
%%%		"http://www.cs.unibo.it/~sangio/DOC_public/DSbib.bib'',   
%%%     www-home        = 
%%%	        "http://www.cs.unibo.it/~sangio/",
%%%     address         = " Dipartimento di Scienze dell'Informazione
%%%                        Universita' di Bologna
%%%                        Mura Anteo Zamboni, 7
%%%                        40127 Bologna ITALY
%%%     telephone       = "+39 051 2094980",
%%%     FAX             = "+39 051 2094510",
%%%     FTP-archive     = "http://www.cs.unibo.it/~sangio/DOC_public/",
%%%     email           = "davide.sangiorgi at cs.unibo.it",
%%%     keywords        = "",
%%%     supported       = "yes",
%%%     supported-by    = "Davide Sangiorgi ",
%%%     abstract        = "Bibliography for Davide Sangiorgi"
%%%  }
%%% ====================================================================		  
		  
		  
%Publisher

@string{ap="Academic Press"}
@string{cup="Cambridge University Press"}
@string{mcgh="Mc Graw-Hill"}
@string{nh="North Holland"}
@string{sv="Springer Verlag"}
@string{aw="Addison-Wesley"}
@string{ph="Prentice Hall"}
@string{mp="The {MIT} {P}ress"}

% Institutions-Schools

@string{cmum="Carnegie-Mellon Univ., Dept. of Math."}
@string{cucs="Cornell Univ., Dept. of Comp. Sci."}
@string{eth="E.T.H. Zurich"}
@string{eucs="Edinburgh Univ., Dept. of Comp. Sci."}
@string{mit="Massachusetts Institute of Technology"}
@string{lfcs="{LFCS}, Dept. of Comp. Sci.,  Edinburgh Univ."}

% Organizations

@string{acm="ACM"}
@string{ieee="IEEE"}
@string{bl="Bell Laboratories"}

% Journals

@string{acta="Acta Informatica"}
@string{acmsigp="{ACM} Sigplan Notices"}
@string{a&l="Algebra and Logic"}
@string{aml="Annals of Mathematical Logic"}
@string{amstran="Trans. AMS"},
@string{au="Algebra Universalis"}
@string{cmsjb="Colloquia Mathematica Societatis Janos Bolyai"},
@string{dm="Dissertationes Mathematicae"}
@string{fm="Fundamenta Matematicae"}
@string{ic="Information and Computation"}
@string{im="Indagationes Mathematicae"}
@string{jcss="JCSS"}
@string{jmscs="Journal of Mathematical Structures in Computer Science"}
@string{jpaa="Journal of Pure and Applied Algebra"}
@string{jsl="Journal of Symbolic Logic"}
@string{mpcps="Math. Proc. Camb. Phil. Soc."}
@string{mst="Mathematical System  Theory"}
@string{rmup="Rivista Matematica dell' Universita' di Parma"}
@string{siamjc="SIAM Journal of Computing"}
@string{tpls="ACM Trans. on Progr. Lang. and Sys."}
@string{tcs="Theor. Comput. Sci."}
@string{zml="Zeitschrift fur Mathematische Logik"}
@string{zmlgm="Zeitschr. f. math. Logik und Grundlagen d. Math."}

% Series

@string{lncs="Lecture Notes in Computer Science"}
@string{lnm="Lecture Notes in Mathematics"}
@string{csam="Cambridge Studies in Advanced Mathematics"}
@string{sl="Studies in Logic"}

% Collections

@string{ash="Applications of Sheaves"}
@string{asls82="Atti della Scuola di Logica di Siena, 1982"}
@string{bcs="The L.E.J. Brouwer Centenary Symposium"}
@string{hbc="To H.B. Curry: essays in Combinatory Logic,
		lambda calculus and Formalisms"}
@string{hml="Handbook of Mathematical Logic"}
@string{hphl="Handbook of Philosophical Logic"}



%Proceedings

@string{caap85="Proc.\ CAAP '85"}
@string{cics89="Category in Computer Science '89"}i
@string{conc91="Proc.\ 2nd {CONCUR}"}
@string{conc92="Proc.\ 3rd {CONCUR}"}
@string{esop86="ESOP '86"}
@string{fcs22="22th Symp. on Foundations of Computer Science"}
@string{fcs25="25th Symp. on Foundations of Computer Science"}
@string{icalp9="9th Colloquium on Automata, Languages and Programming"}
@string{icalp85="Proc.\ 12th {ICALP}"}
@string{icalp88="Proc.\ 15th {ICALP}"}
@string{icalp92="Proc.\ 19th {ICALP}"}
@string{icalp97="Proc.\ 24th {ICALP}"}
@string{icalp98="Proc.\ 25th {ICALP}"}
@string{lc73="Logic Colloquium '73"}
@string{lc75="Logic Colloquium '75"}
@string{lc82="Logic Colloquium '82"}
@string{lp83="Logics of Programs '83"}
@string{lp84="Logics of Programs '84"}
@string{lp85="Logics of Programs '85"}
@string{lics1="Proc.\ 1st LICS Conf."}
@string{lics2="Proc.\ 2nd LICS Conf."}
@string{lics3="Proc.\ 3rd LICS Conf."}
@string{lics4="Proc.\ 4th LICS Conf."}
@string{lics7="Proc.\ 7th LICS Conf."} 
@string{lics92="Proc.\ 7th LICS Conf."}
@string{lics93="Proc.\ 8th LICS Conf."}
@string{lics96="Proc.\ 11th LICS Conf."}
@string{lics98="Proc.\ 13th LICS Conf."}
@string{lics02="Proc.\ 17th LICS Conf."}
@string{mfcs84="Proc.\ MFCS '84"}
@string{mfcs86="Proc.\ MFCS '86"}
@string{mfcs89="Proc.\ MFCS '89"}
@string{popl1="Proc.\ 1st POPL"}
@string{popl4="Proc.\ 4th POPL"}
@string{popl6="Proc.\ 6th POPL"}
@string{popl10="Proc.\ 10th POPL"}
@string{popl11="Proc.\ 11th POPL"}
@string{popl12="Proc.\ 12th POPL"}
@string{popl13="Proc.\ 13th POPL"}
@string{popl14="Proc.\ 14th POPL"}
@string{popl15="Proc.\ 15th POPL"}
@string{popl17="Proc.\ 17th POPL"}
@string{popl24="Proc.\ 24th POPL"}
@string{popl27="Proc.\ 27th POPL"}
@string{popl28="Proc.\ 28th POPL"}
@string{ps74="Programming Symposium '74"}
@string{sls2="2nd Scandinavian Logic Symp."}
@string{stacs86="Proc.\ {STACS} '86"}
@string{stacs88="Proc.\ {STACS} '88"}
@string{tapsoft87="Proc.\ {TAPSOFT} '87"}
@string{tapsoft89="Proc.\ {TAPSOFT} '89"}

@inproceedings{AmCaSa96,
   author = {Amadio, R. and Castellani, I. and 
             Sangiorgi, D.},
   booktitle = {Proc.\ {CONCUR} '96},
   title = {On Bisimulations for  the Asynchronous $\pi$-calculus},
   publisher = sv,
   volume = {1119}, 
    series = lncs,
   year = {1996}
}




@techreport{AmCaSa96-TR,
   author = {Amadio, R. and Castellani, I. and 
             Sangiorgi, D.},
   title = {On Bisimulations for  the Asynchronous $\pi$-calculus},
   institution = {{INRIA} Sophia Antipolis},
   number = {{RR}-2913},
   year = {1996}
}


@article{AmCaSa98,
   author = {Amadio, R. and Castellani, I. and 
             Sangiorgi, D.}, 
   title = {On Bisimulations for  the Asynchronous $\pi$-calculus},
   journal = tcs,
   year = {1998},
   volume= {195},
   pages = {291--324},
   comment = {Special issue dedicated to {CONCUR'96}. {An extended abstract in {\em Proc.\ CONCUR 96}, LNCS 1119, Springer Verlag}}
}

@inproceedings{BoSa97,
   author = {Boreale, M. and Sangiorgi, D.}, 
   title = {Bisimulation in name-passing calculi 
               without matching},
   booktitle = lics98,
   year = {1998},
   publisher = {{IEEE} Computer Society Press}
}

		  
		  
@inproceedings{BoSa94a,
   author = {Boreale, M. and Sangiorgi, D.},
   title = {A fully abstract semantics for causality in the  $\pi$-calculus},
   year = {1995},
   booktitle = {Proc.\ 12th {S}ymposium on 
              {T}heoretical {A}spects of {C}omputer {S}cience {(STACS'95)}},
    series = lncs,
   publisher = sv,
     editor =  {Mayr, E.W. and   Puech, C.},
     volume = {900},
note = {To appear in {\em Acta Informatica}} 
}

@article{BoSa98acta,
   author = {Boreale, M. and Sangiorgi, D.},
   title = {A fully abstract semantics for causality in the  $\pi$-calculus},
   journal = acta,
   year = {1998},
   volume = {35},
    pages =   {353--400},
  comment =  {{A summary in Proc. {STACS}'95, {LNCS} 900, Springer Verlag.}}
}






@article{BoSa98tcs,
   author = {Boreale, M. and Sangiorgi,  D.}, 
   title = {Some Congruence Properties for  $\pi$-calculus Bisimilarities},
   journal = tcs,
   year = {1998},
   volume= {198},
   pages = {159--176},
   comment = {Appeared as {INRIA} {Tec.} {R}ep. {RR}-2870, 1996.}
}


		  
@article{FaMaReSa89,
   author = {Fachini, E. and Maggiolo-Schettini, A. and Resta, G. and
             Sangiorgi, D.},
   title = {Some 	Structural  Properties of Systolic Tree Automata},  
   journal = {Fundamenta Informaticae},
   year = {1989},
     volume = {XII},
     pages = {571--585}
  }


@article{FaMaReSa91,
   author = {Fachini, E. and Maggiolo-Schettini, A. and Resta, G. and
             Sangiorgi, D.},
   title = {Non 	Acceptability Criteria and Closure Properties
             for the Class of  	Languages Accepted by Binary Systolic  Tree
            Automata},
     journal = tcs,
        year = {1991},
      volume = {83},
       pages = {249--260}
 }


@article{FaGrMaSa90,
   author = {Fachini, E. and Gruska, J. and 
              Maggiolo-Schettini, A. and 
             Sangiorgi, D.},
        title = {Simulation 	of Systolic Tree Automata on Trellis Automata},
      journal = {International Journal of 
                  Foundations of Computer Science},
        year = {1990},
      volume = {1},
       pages = {87--110}
 }



@article{FaMaSa92,
   author = {Fachini, E. and
              Maggiolo-Schettini, A. and 
             Sangiorgi, D.},
   title = {Classes of Y-Tree Systolic Automata and
             Regular  Systolic Trellis Automata},
   journal = acta,
   year = {1992},
   volume = {29},
    pages =   {623--643}
}


@inproceedings{FaMaSa90,
   author = {Fachini, E. and
              Maggiolo-Schettini, A. and 
             Sangiorgi, D.},
  title = {Comparisons among 	Classes of Y-Tree Systolic Automata},
   year = {1990},
   booktitle = {Proc.\ {MFCS'90}},
    series = lncs,
   publisher = sv,
     volume = {452},
     pages = {254--260}
}


@inproceedings{FiMoSa96,
   author = {Fiore, M. and Moggi, E. and Sangiorgi, D.},
   title = {A Fully-Abstract Model for the $\pi$-calculus},
   booktitle = lics96,
   year = {1996},
   publisher = {{IEEE} Computer Society Press},
  note = {Full version in Information and Computation, 179, 76--117, 2002}
}

@inproceedings{KlSa98,
   author = {Kleist, J. and Sangiorgi, D.}, 
   title = {Imperative Objects and  Mobile Processes},
   booktitle = {Proc.\ {IFIP} {W}orking {C}onference on
                       {P}rogramming {C}oncepts and
                    {M}ethods  ({PROCOMET}'98)}, 
   year = {1998},
  publisher = {North-Holland},
}

		  
		  
@inproceedings{LeSa90,
   author = {Lengauer, C. and
             Sangiorgi, D.},
  title = {An Improved Systolic Array for
          String Correction},
   year = {1992},
   booktitle = {Proc.\ Advanced Research Workshop on Correct Hardware
                 Design  Methodologies},
   publisher = {Elsevier},
     pages = {205--218},
editor ={Prinetto, P.  and  Camurati  P.}
}

@inproceedings{HLS02,
   author = {Hirschkoff, D. and Lozes, E. and Sangiorgi, D.}, 
   title = {Separability, Expressiveness, and Decidability in the Ambient Logic}, 
   booktitle = {Proc. of LICS'02},
   pages = {423--432},
   year = {2002},
   publisher = {{IEEE} Computer Society Press}
}


@inproceedings{MiSa92,
   author = {Milner, R. and Sangiorgi, D.},
   title = {Barbed Bisimulation},
   booktitle = icalp92,
   year = {1992},
     series = lncs,
     volume = {623},
     pages = {685--695},
     editor = {Kuich, W.},
     publisher = sv
}

		  
		  
		  
@article{PaSa95,
    author = {Parrow, J. and Sangiorgi, D.}, 
     title = {Algebraic Theories  for Name-Passing Calculi},
   journal = ic,
    volume = {120},
    number = {2},
    year = {1995},
     pages = {174--197},
  comment= {Short version in {\em {P}roc.\ {REX} {S}ummer
		 {S}chool/Symposium 1993}, {LNCS} 803, {S}pringer {V}erlag}
}




		  
@article{PiSa96b,
   author = {Pierce, B. and Sangiorgi, D.},
   title = {Typing and Subtyping for Mobile Processes},
   journal =jmscs,
   volume = {6},
   number = {5},  
   pages = {409--454},
   year = {1996}, 
   note= {An extended abstract appeared in {\em Proc.\ LICS 93}, {IEEE}  Computer Society Press.}
  }

@Article{PiSa00acm,
   author = "Pierce, B. and Sangiorgi, D.",
  title =        "Behavioral equivalence in the polymorphic
                 pi-calculus",
  journal =      "Journal of the ACM",
  volume =       "47",
  number =       "3",
  pages =        "531--584",
  year =         "2000",
  url =          "http://www.acm.org/pubs/citations/journals/jacm/2000-47-5/p531-pierce/",
  abstract =     "We investigate {\em parametric polymorphism\/} in
                 message-based concurrent programming, focusing on
                 behavioral equivalences in a typed process calculus
                 analogous to the polymorphic lambda-calculus of Girard
                 and Reynolds.\par Polymorphism constrains the power of
                 observers by preventing them from directly manipulating
                 data values whose types are abstract, leading to
                 notions of equivalence much coarser than the standard
                 untyped ones. We study the nature of these constraints
                 through simple examples of concurrent abstract data
                 types and develop basic theoretical machinery for
                 establishing bisimilarity of polymorphic processes.\par
                 We also observe some surprising interactions between
                 polymorphism and aliasing, drawing examples from both
                 the polymorphic pi-calculus and ML.",
  keywords =     "abstract data types; pi-calculus",
}


@inproceedings{PiSa97,
   author = {Pierce, B. and Sangiorgi, D.},
   booktitle = popl24,
   title = {Behavioral Equivalence in the Polymorphic Pi-Calculus},
   year = {1997}, 
    publisher = {{ACM} {P}ress}, 
   note = {Full paper to appear in {J}ournal of the {ACM}}
}





@inproceedings{San92,
   author = {Sangiorgi, D.},
   booktitle = lics92,
   title = {The Lazy Lambda Calculus in a Concurrency Scenario},
   year = {1992},
   pages = {102--109},
   publisher = {{IEEE} Computer Society Press}
}


@article{San94,
   author = {Sangiorgi, D.},
   journal = ic,
   title = {The Lazy Lambda Calculus in a Concurrency Scenario},
   year = {1994},
   volume = {111},
   number = {1},
 pages =   {120--153},
comment = {Special issue dedicated to {LICS'92}.}
}


@article{San94sce,
   author = {Sangiorgi, D.},
   journal = ic,
   title = {The Lazy Lambda Calculus in a Concurrency Scenario},
   year = {1994},
   volume = {111},
   number = {1},
 pages =   {120--153},
note = {A summary in Proc. {Lics}'92, {IEEE}.}
}



@phdthesis{SanPhD,
   author = {Sangiorgi, Davide},
   title = {Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms}, 
   school = eucs,
   year = {1992},
   type = {{PhD} thesis  {CST}--99--93}
}




@inproceedings{SaMi92,
   author = {Sangiorgi, D. and Milner, R.},
   booktitle = {Proc.\ {CONCUR} '92},
   title = {The problem of ``{W}eak {B}isimulation up to''},
   publisher = sv,
    series = lncs,
   year = {1992},
     editor =  {Cleveland, W.R.}, 
     volume = {630},
     pages  = {32--46}
}





@article{San96acta,
   author = {Sangiorgi, D.},
   title = {A Theory of Bisimulation for  the $\pi$-calculus},   
   journal = acta,
   year = {1996},
   volume = {33},
    pages =   {69--97},
   note = {An extract  appeared in  {\em {P}roc. {CONCUR} '93},
		 Lecture Notes in Computer Science 715, 
                 Springer Verlag}
}





@article{San93c,
   author = {Sangiorgi, D.},
   title = {Locality and Non-interleaving Semantics 
  in Calculi for Mobile Processes},
   journal = tcs,
   year = {1996},
   volume= {155},
   pages = {39--83},
   comment = {An extract  appeared in  {\em {P}roc. {TACS} '94},
		 Lecture Notes in Computer Science 789, 
                 Springer Verlag}
}






@inproceedings{San93cc,
   author = {Sangiorgi, D.},
   title = {From $\pi$-calculus to {H}igher-{O}rder $\pi$-calculus
		 --- and back},
   booktitle = {Proc.\ {TAPSOFT}'93},
   year = {1993},
     series = lncs,
     volume = {668},
     editor = {Gaudel,M.-C. and Jouannaud, J.-P.},
     publisher = sv,
     pages = {151--166}
}





@inproceedings{San93d,
   author = {Sangiorgi, D.},
   title = {An investigation into Functions as Processes},
   booktitle = {Proc.\  Ninth International Conference on the 
              {M}athematical {F}oundations of {P}rogramming 
               {S}emantics  ({MFPS}'93)},
   year = {1993},
   series = lncs,
   volume = {802},
     publisher = sv,
     pages = {143--159}
   }



@inproceedings{San94b,
   author = {Sangiorgi, D.},
   title = {Bisimulation in higher-order calculi},
   booktitle = {Proc.\ {IFIP} {W}orking {C}onference on {P}rogramming
		 {C}oncepts,  {M}ethods and {C}alculi ({PROCOMET}'94)}, 
   year = {1994},
  pages = {207--224},
  publisher = {North-Holland},
}



@article{San96H,
   author = {Sangiorgi, Davide},
   journal = {Inf. Comput.},
   title = {Bisimulation for {H}igher-{O}rder {P}rocess {C}alculi},
   year = {1996},
   volume = {131},
   number = {2},
 pages =   {141--178}
}

		  
		
		  




@inproceedings{San95i,
   author = {Sangiorgi, D.},
   title = {$\pi${I}:  A Symmetric Calculus based on Internal Mobility},
   year = {1995},
   booktitle = {Proc.\  {TAPSOFT'95}},
  editor = {Mosses P.\ et al.\},
    series = lncs,
   publisher = sv,
     volume = {915},
 pages = {172--186}
}




@inproceedings{San95ia,
   author = {Sangiorgi, D.},
   title = {Internal Mobility and Agent Passing Calculi},
   year = {1995},
   booktitle = {Proc.\  {ICALP`95}},
    series = lncs,
   publisher = sv,
     volume = {944},
 pages = {672--684}
}










@inproceedings{San95MFCS,
   author = {Sangiorgi, D.},
   title = {On  the  bisimulation proof method},
   year = {1995},
   booktitle = {Proc.\ {MFCS'95}},
    series = lncs,
   publisher = sv,
     editor =  {Wiedermann, J. and  H\'aiek, P.}, 
     volume = {969 },
     pages = {479--488},
    note = {Full version to appear in J.\  Math.\ Structures in Comp. Sci.} 
}

@article{San98MFCS,
   author = {Sangiorgi, D.},
   title = {On  the  bisimulation proof method},
   journal =jmscs,
   volume = {8},
   pages = {447--479},
   year = {1998}, 
   comment= {An extended abstract in {\em Proc.\ MFCS 95}, {LNCS} 969, Springer Verlag.}
  }




@article{San96int,
  author = {Sangiorgi, Davide},
   title = {$\pi$-calculus,
            internal mobility and agent-passing calculi},
   year = {1996}, 
   journal = tcs,
   volume = {167},
   number = {2},
   pages = {235--274},
 comment = {Special issue dedicated to {TAPSOFT'95}.}
}




@techreport{San95lazyTR,
  author = {Sangiorgi, D.},
   title = {Lazy functions and mobile processes},
   year = {1995},
   institution = {INRIA Sophia Antipolis},
   number = {RR-2515}
}


@inproceedings{San95lazy,
  author = {Sangiorgi, D.},
   title = {Lazy functions and mobile processes},
  booktitle =    "Proof, Language and Interaction: Essays in Honour of
                 Robin Milner",
  year =         "2000",
  editor =       "Plotkin, G. and Stirling, C. and Tofte, M.",
  publisher =    "{MIT} {P}ress"
}






@article{San96,
   author = {Sangiorgi, D.},
   title = {A Theory of Bisimulation for  the $\pi$-calculus},
   journal = {Acta {I}nformatica},
   year = {1996},
   volume={33},
   pages= {69--97}, 
   note = {An extract  appeared in  {\em {P}roc. {CONCUR} '93}, volume
		 715 of Lecture Notes in Computer Science, Springer Verlag}
}





 @Inproceedings{PiSa96,
   author = 	 {Pistore, M.  and Sangiorgi, D.},
   title = {A Partition Refinement Algorithm for the $\pi$-calculus},
   series =	 lncs,
   booktitle =	 {Proc.\ CAV'96},
   year =	 {1996}, 
          volume = {1102},
  pages= {38--49}, 
   publisher =	 sv,
 note = {Extended version  in {I}nformation and {C}omputation 164(2): 264-321 (2001).} 
 }

	







@article{San98OO,
   author = {Sangiorgi, D.},
   journal = ic,
   title = {An interpretation of Typed Objects 
              into  Typed $\pi$-calculus},
   year = {1998},
   volume = {143},
   number = {1},
 pages =   {34--73},
note = {Also Tec.\ Rep.\ RR-3000, {INRIA}, 1996.}
}

@techreport{San96OO,
  author = {Sangiorgi, D.},
   title = {An interpretation of Typed Objects 
              into  Typed $\pi$-calculus}, 
   year = {1996},
   institution = {INRIA Sophia Antipolis},
   number = {RR-3000}
}





@article{San98Udine,
   author = {Sangiorgi, D.}, 
   title = {Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial)}, 
   year = {2001}, 
   journal = tcs,
   volume = {253},
   pages = {311--350},
comment = {Special issue dedicated to the  {IC-EATCS}
     Annual {A}dvanced {S}chool on {M}odels and {P}aradigms for {C}oncurrency, 
 {U}dine, {I}taly, 1997.}, 
}




@article{San98hindley,
    title = {From $\lambda$ to $\pi$, or: Rediscovering continuations}, 
  author  = {Sangiorgi, D}, 
   journal = jmscs,
   volume = {9},
   number = {4},
   year = {1999}, 
 note = {Special Issue on "Lambda-Calculus and Logic"
in Honour of Roger Hindley}
  }



@article{San99tapos,
   author = {Sangiorgi, D.},
   journal = {Theory and Practice of {O}bject {S}ystems},
   title = {Typed $\pi$-calculus at Work: a Correctness Proof of {J}ones's
  Parallelisation Transformation  on Concurrent Objects},
   year = {1999},
   volume = {5},
   number = {1},
 pages =   {25--34},
comment = {Special issue dedicated to {FOOL'97}.}
}



@unpublished{San96-FOOL,
   author = {Sangiorgi, D.}, 
   title = {Typed $\pi$-calculus at work: a proof of {J}ones's
  parallelisation transformation  on concurrent objects},
   note = {Proc.\ Fourth Workshop on
             {F}oundations of {O}bject-{O}riented {L}anguages (FOOL 4).},  
    year = {1997}		  
}


@unpublished{SKS06,
   author = {Sangiorgi, D. and  Kobayashi, N. and Sumii E.}, 
   title = {Environmental Bisimulations for Higher-Order Languages},
   note = {Draft, June},  
    year = { 2006}		  
}




@inproceedings{San97-rece,
   author = {Sangiorgi, D.},
   booktitle = icalp97,
   title = {The name discipline of uniform receptiveness},
   publisher = sv,
   volume = {1256}, 
    series = lncs,
   year = {1997}
}



@article{San99rece,
  author = {Sangiorgi, D.},
   title = {The name discipline of uniform receptiveness},
   year = {1999}, 
   journal = tcs,
   volume = {221},
   pages = {457--493},
 notes= {Earlier version in Proc.\ {ICALP}~'97}, 
comment = {Special issue dedicated to {ICALP'97}.}
}




@inproceedings{MeSa98,
   author = {Merro, M. and Sangiorgi, D.},
   booktitle = icalp98,
   title = {On asynchrony in name-passing calculi},
   publisher = sv,
   volume = {1443}, 
    series = lncs,
   year = {1998}
}



@article{MeSa04,
   author = {Merro, M. and Sangiorgi, D.},
   title = {On asynchrony in name-passing calculi},
   year = {2004}, 
   journal = mscs,
   volume = {14},
   number = {5},
   pages = {715--767},
 notes= {Earlier version in Proc.\ {ICALP}~'98}, 
}



@unpublished{San95-BL,
   author = {Sangiorgi, D.}, 
   title = {L\'evy-{L}ongo {T}rees and {B}\"{o}hm {T}rees from encodings of $\lambda$-calculus into $\pi$-calculus },
   note = {Notes},
     year = {1995}
}



@techreport{San98-TRold,
   author = {Sangiorgi, D.},
   title = {Interpreting functions as pi-calculus processes: a tutorial},
   institution = {{INRIA} Sophia Antipolis},
   number = {{RR}-3470},
   year = {1998}
}


@unpublished{San98-TR,
   author = {Sangiorgi, D.},
   title = {Interpreting functions as pi-calculus processes: a tutorial},
   note = {Revised version of {TR} {RR}-3470,  {INRIA} Sophia Antipolis. 
          {A}vailable as ftp://ftp-sop/meije/theorie-par/davides/functionPItutorial.ps.gz},
    year = {1999}		  
}



@inproceedings{RoSa99,
   author = {R�ckl, C. and  Sangiorgi, D.}, 
   title = {A pi-calculus Semantics of {C}oncurrent {I}dealised {ALGOL}},
   publisher = sv,
   volume = {1578}, 
    series = lncs,
   pages = {306--322},
   booktitle = {Proc.\ {Fossacs}'99},
     year = {1999}
}


@inproceedings{San99rea,
   publisher = sv,
   volume = {1578}, 
    series = lncs,
   pages = {31--40},
   author = {Sangiorgi, D.}, 
   title = {Reasoning about concurrent systems using types},
   booktitle = {Proc.\ {Fossacs}'99},
     year = {1999}
}


@inproceedings{San03au,
   publisher = {IEEE},
   volume = {}, 
    series = {},
   pages = {},
   author = {Sangiorgi, D.}, 
   title = {Taming mobile processes using types},
   booktitle = {},
     year = {2003}
}




@inproceedings{San01,
   author = {Sangiorgi, D.},
   booktitle = popl28,
   title = {Extensionality and Intensionality  of the Ambient Logic},
   year = {2001}, 
    publisher = {{ACM} {P}ress}
}


@inproceedings{LeSa00,
   author = {Levi, F. and Sangiorgi, D.},
   booktitle = popl27,
   title = {Controlling Interference in Ambients},
   year = {2000}, 
    publisher = {{ACM} {P}ress}
}

@unpublished{LeSa00full,
   author = {Levi, F. and Sangiorgi, D.}, 
   title = {Controlling Interference in Ambients},
   note = {Short version appeared in \emph{Proc.\ 27th {POPL}}, {ACM} {P}ress},   
    year = {2000}		  
}

@Article{Levi:2003:MSA,
  author =       "Francesca Levi and Davide Sangiorgi",
  title =        "Mobile safe ambients",
  journal =      "ACM Transactions on Programming Languages and
                 Systems",
  volume =       "25",
  number =       "1",
  pages =        "1--69",
  month =        jan,
  year =         "2003",
  CODEN =        "ATPSDT",
  ISSN =         "0164-0925",
  bibdate =      "Wed Apr 9 18:34:46 MDT 2003",
  acknowledgement = ack-nhfb,
}



@unpublished{San00review,
   author = {Sangiorgi, D.},
   title = {Book review},
   note = {\emph{Communicating and mobile systems: the
  $\pi$-calculus, by Robin Milner. Cambridge University Press, 1999.} To appear in the journals `Science of Computer Programming' and `Theory
 and Practice of Logic Programming'},
    year = {2000}		  
}



@InProceedings{SaVa01,
   author = {Sangiorgi, D. and Valente, A.}, 
   title = {A distributed abstract machine for {S}afe {A}mbients},
   year = {2001},
   booktitle = {Proc.\  {ICALP'01}},
    series = lncs,
   publisher = sv,
     volume = {2076},
}




@book{SaWabook,
 author = {Sangiorgi, Davide and Walker, David.},
 publisher = {{C}ambridge {U}niversity {P}ress},
 title = {The $\pi$-calculus: a {T}heory of {M}obile {P}rocesses},
 year = {2001}
}

@inproceedings{SaWa01,
   author = {Sangiorgi, D. and Walker, D.},
   booktitle = {Proc.\ {CONCUR} '01},
   title = {Some results on barbed equivalences in pi-calculus},
   publisher = sv,
    series = lncs,
   year = {2001},
     volume = {2154}
}



@unpublished{San02ter,
   author = {Sangiorgi, D.},
   title = {Termination of processes },
   note
 = {ftp://ftp-sop.inria.fr/mimosa/personnel/davides/ter.ps},
    year = {December 2001}, 
}

@unpublished{San06ter,
   author = {Sangiorgi, D.},
   title = {Termination of processes },
   note
 = {To appear in the journal \emph{Mathematical Structures in Computer Science}}, 
    year = {2006}, 
}


@inproceedings{Sa02,
   author = {Sangiorgi, D.},
   booktitle = {Proc.\ {CONCUR} '02},
   title = {Types, or: \mbox{Where's the difference between CCS and $\pi$?}},
   publisher = sv,
    series = lncs,
   year = {2002},
     volume = {2421},
note ={accompanying paper for an invited talk}
}




@InProceedings{sangiorgi:reasoning-about,
  author =       "Davide Sangiorgi",
  title =        "Reasoning About Concurrent Systems Using Types",
  booktitle =    "Proceedings of the Second International Conference on
                 Foundations of Software Science and Computation
                 Structures ({FoSSaCS} '99), Held as Part of the Joint
                 European Conferences on Theory and Practice of Software
                 ({ETAPS}'99), (Amsterdam, The Netherlands, April
                 1999)",
  year =         "1999",
  editor =       "Wolfgang Thomas",
  volume =       "1578",
  series =       "LNCS",
  publisher =    "Springer",
  pages =        "31--40",
}

@InProceedings{huttel.kleist.ea:surrogates-jeblik,
  author =       "Hans H{\"u}ttel and Josva Kleist and Uwe Nestmann and
                 Davide Sangiorgi",
  title =        "Surrogates in {\O}jeblik: Towards Migration in Obliq",
  booktitle =    "{SOAP} '98: Semantics of Objects as Processes
                 (Aalborg, Denmark, July 18, 1998)",
  year =         "1998",
  editor =       "Hans H{\"u}ttel and Uwe Nestmann",
  volume =       "NS-98-5",
  series =       "BRICS Notes Series",
  publisher =    "brics",
  pages =        "43--50",
}

@Article{Sangiorgi:2000:CMS,
  author =       "Davide Sangiorgi",
  title =        "{{\em Communicating and Mobile Systems: the
                 $\pi$-calculus}, Robin Milner, Cambridge University
                 Press, Cambridge, 1999, 174 pages, ISBN
                 0-521-64320-1}",
  journal =      "Science of Computer Programming",
  volume =       "38",
  number =       "1--3",
  pages =        "151--153",
  day =          "??",
  month =        aug,
  year =         "2000",
  coden =        "SCPGD4",
  ISSN =         "0167-6423",
  bibdate =      "Tue Oct 31 12:37:52 MST 2000",
  url =          "http://www.elsevier.nl/gej-ng/10/39/21/42/21/27/abstract.html;
                 http://www.elsevier.nl/gej-ng/10/39/21/42/21/27/article.pdf",
  acknowledgement = ack-nhfb,
}





@Article{HLS03,
   author = {Hirschkoff, D. and Lozes, E. and Sangiorgi, D.}, 
   title = {Separability, Expressiveness, and Decidability in the Ambient Logic}, 
  journal =      "Schedae Informaticae",
  volume =       "12",
  pages =        "77--84",
  month =        "June",
  publisher =    "Jagellonian University Press",
  year =         "2003"
}


@inproceedings{CaHiSa03,
   author = {Carayol, A. and  Hirschkoff, D. and Sangiorgi, D.},
   booktitle = {Proc.\ {Express} '03},
   title = {On the Representation of McCarthy's amb in the pi-calculus},
   publisher = {Elsevier},
   series = {Electr. Notes Theor. Comput. Sci.},
   year = {2004},
   volume = {96},
   pages= {73--89},
   note ={Full paper to apper in  {Inf. and Comp.}}
}


@Article{CaHiSa05,
   author = {Carayol, A. and  Hirschkoff, D. and Sangiorgi, D.},
   title = {On the Representation of McCarthy's amb in the pi-calculus},
  journal =      tcs,
  volume =       "330",
  number =       "3",
  pages =        "439--473",
   publisher = {Elsevier},
  year =         "2005"
}



@inproceedings{DeSa04,
   author = {Deng, Y.  and Sangiorgi, D.},
   booktitle = {Proc.\ {Icalp} '04},
   title = {Towards an Algebraic Theory of Typed Mobile Processes},
   publisher = sv,
   series = lncs,
   year = {2004},
   volume = {3142},
   pages= {445--456},
}




@inproceedings{DeSa04b,
   author = {Deng, Y.  and Sangiorgi, D.},
   booktitle = {Proc.\ {IFIP TCS} '04},
   title = {Ensuring termination by typability},
   publisher = {Kluwer},
   year = {2004},
   pages= {619--632},
}


@inproceedings{SaMe06,
   author = {Mezzetti, N. and   Sangiorgi, D.},
   booktitle = {Proc.\ {MFPS} '06},
   title = {Towards a calculus for Wireless Systems},
   publisher = {Elsevier},
   series = {Electr. Notes Theor. Comput. Sci.},
   year = {2006},
   volume = {158},
   pages= {331--354}
}



@Article{SanTer06,
  author = 	 {Davide Sangiorgi},
  title = 	 {Termination of processes},
  journal = 	 {Mathematical Structures in Computer Science},
  year = 	 {2006},
    volume = 	 {16},
  number = 	 {1},
 pages = 	 {1--39}
}

